CS Store Search
Displaying 1-4 out of 4 total
Your "What" Is My "How": Iteration and Hierarchy in System Design
By Michael W. Whalen,Andrew Gacek,Darren Cofer,Anitha Murugesan,Mats P.E. Heimdahl,Sanjai Rayadurgam
Issue Date:March 2013
Systems are naturally constructed in hierarchies, in which design choices made at higher levels of abstraction levy requirements on system components at the lower levels. Thus, whether an aspect of a system is a design choice or a requirement largely depen...
Combining Generic Judgments with Recursive Definitions
Logic in Computer Science, Symposium on
By Andrew Gacek, Dale Miller, Gopalan Nadathur
Issue Date:June 2008
Many semantical aspects of programming languages, such as their operational semantics and their type assignment calculi, are specified by describing appropriate proof systems. Recent research has identified two proof-theoretic features that allow direct, l...
Reasoning about higher-order relational specifications
Found in: Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming (PPDP '13)
By Andrew Gacek, Gopalan Nadathur, Kaustuv Chaudhuri, Yuting Wang
Issue Date:September 2013
The logic of hereditary Harrop formulas (HH) has proven useful for specifying a wide range of formal systems that are commonly presented via syntax-directed rules that make use of contexts and side-conditions. The two-level logic approach, as implemented i...
Relating nominal and higher-order abstract syntax specifications
Found in: Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming (PPDP '10)
By Andrew Gacek
Issue Date:July 2010
Nominal abstract syntax and higher-order abstract syntax provide a means for describing binding structure which is higher-level than traditional techniques. These approaches have spawned two different communities which have developed along similar lines bu...
Original Search Engine
Need a Web Account?
Become a Member
This site and all contents (unless otherwise noted) are Copyright ©2008, IEEE, Inc. All rights reserved.